/**
  ******************************************************************************
  * @file    User/LL/ts32fx_irq.h
  * @author  TOPSYS Application Team
  * @version V1.0.0
  * @date    02-11-2018
  * @brief   This file contains all the IRQ firmware functions.
  ******************************************************************************
  * @attention
  *
  * <h2><center>&copy; COPYRIGHT 2018 TOPSYS</center></h2>
  *
  *
  *
  ******************************************************************************
  */ 
  
/* Define to prevent recursive inclusion -------------------------------------*/
#ifndef __TS32FX_IRQ_H
#define __TS32FX_IRQ_H

#ifdef __cplusplus
 extern "C" {
#endif

/* Includes ------------------------------------------------------------------*/
#include "ts32fx.h"
	 
extern u32 timer_irq_count;

/** @addtogroup Template_Project
  * @{
  */

/** @addtogroup TS32Fx_IRQ
  * @{
  */ 


/** @defgroup Exported_Constants
  * @{
  */


/**
  * @}
  */


/** @defgroup Exported_Functions
  * @{
  */
extern void SysTick_Handler(void);

/**
  * @}
  */ 


#ifdef __cplusplus
}
#endif

#endif //__TS32FX_IRQ_H

/**
  * @}
  */

/**
  * @}
  */

/******************* (C) COPYRIGHT 2018 TOPSYS *****END OF FILE****/
